<?php

class SummaryAdminControlsPanel extends PageElement
{
	
	public function getHTML()
	{
	}
	
}

?>